/opt/tina-2.7.6/bin/tina Processus_en_E_renverse.net test.ktz
/opt/tina-2.8.0/bin/selt test.ktz Processus_en_E_renverse.ltl

echo "Dans tina faire 'source filename.ltl'"
